- corecursive
- мат.корекурсивный
English-Russian scientific dictionary. 2008.
corecursive
Смотреть что такое "corecursive" в других словарях:
Corecursion — In computer science, corecursion is a type of operation that is dual to recursion. Corecursion and codata allow total languages to work with infinite data structures such as streams. Corecursion is often used in conjunction with lazy evaluation.… … Wikipedia
Charity (programming language) — Charity Paradigm(s) pure functional Appeared in 1992[1] Developer The Charity Development Group Preview release 1.99.1 (beta) … Wikipedia
Coinduction — codata redirects here. For the CODATA committee, see Committee on Data for Science and Technology. In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is… … Wikipedia
